/**
 * 
 */
package edu.hm.compiler.interpreter.unifier;

import edu.hm.compiler.parser.grammar.term.Term;

/**
 * @author Saruman
 */
public class UnificationException extends Exception
{

    private Term fTerm;

    /**
     * @return the fTerm
     */
    public Term getFirstTerm()
    {
        return this.fTerm;
    }

    /**
     * @return the sTerm
     */
    public Term getSecondTerm()
    {
        return this.sTerm;
    }

    private Term sTerm;

    /**
     * @param message
     */
    public UnificationException( final String message )
    {
        super( message );
    }

    /**
     * @param string
     * @param fTerm
     * @param sTerm
     */
    public UnificationException( final String string, final Term fTerm, final Term sTerm )
    {
        super( string );
        this.fTerm = fTerm;
        this.sTerm = sTerm;
    }

}
